『Homotopy Type Theory Univalent Foundations of Mathematics』Chapter 8 Homotopy theory
table:訳
英語 日本語
Quillen model category Quillenモデル圏
nature 性質
continuous deformation 連続変形
canonicity 正準性
canonicity property 正規性?
Kan simplicial sets カン単体的集合?
(∞-1)-toposes (∞-1)トポス
universal properties of higher inductives 高次帰納の普遍性?
Hopf fibration Hopfファイブレーション
higher inductive types 高次帰納的型
amenable 適している
back and forth 前後
higher homotopy group 高次ホモトピー群